// Copyright 2009 the Sputnik authors.  All rights reserved.
/**
 * DecimalLiteral :: DecimalIntegerLiteral.
 *
 * @path ch07/7.8/7.8.3/S7.8.3_A3.1_T2.js
 * @description DecimalIntegerLiteral :: NoNZeroDigit DecimalDigigts
 */

//CHECK#1
if (11. !== 11) {
  $ERROR('#1: 11. === 11');
}

//CHECK#2
if (22. !== 22) {
  $ERROR('#2: 22. === 22');
}

//CHECK#3
if (33. !== 33) {
  $ERROR('#3: 33. === 33');
}

//CHECK#4
if (44. !== 44) {
  $ERROR('#4: 44. === 44');
}

//CHECK#5
if (55. !== 55) {
  $ERROR('#5: 55. === 55');
}

//CHECK#6
if (66. !== 66) {
  $ERROR('#6: 66. === 66');
}

//CHECK#7
if (77. !== 77) {
  $ERROR('#7: 77. === 77');
}

//CHECK#8
if (88. !== 88) {
  $ERROR('#8: 88. === 88');
}

//CHECK#9
if (99. !== 99) {
  $ERROR('#9: 99. === 99');
}

